
type X =
    static do ()
